Guido Sciavicco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Road Map of Interval Temporal Logics and Duration Calculi

Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

2

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 663 KB

english, 2007

3

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

Aceto, Luca, Della Monica, Dario, Ingolfsdottir, Anna, Montanari, Angelo, Sciavicco, Guido

Year:

2013

Language:

english

File:

PDF, 440 KB

english, 2013

4

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Reasoning with 'And Then' and 'While'

Roy, Suman, Sciavicco, Guido

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

5

On Coarser Interval Temporal Logics

Muñoz-Velasco, Emilio, Pelegrín, Mercedes, Sala, Pietro, Sciavicco, Guido, Stan, Ionel Eduard

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 706 KB

english, 2018

6

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 990 KB

english, 2009

7

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

8

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Dario Della Monica, Valentin Goranko, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 271 KB

english, 2011

9

Definability and decidability of binary predicates for time granularity

Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco

Journal:

Journal of Applied Logic

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

10

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, Guido Sciavicco

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

11

Two-sorted Point-Interval Temporal Logics

Philippe Balbiani, Valentin Goranko, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 254 KB

english, 2011

12

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 682 KB

english, 2013

13

The dark side of interval temporal logic: marking the undecidability border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 962 KB

english, 2014

14

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.70 MB

english, 2014

15

Announcement

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Animal Reproduction Science

Year:

1982

Language:

english

File:

PDF, 25 KB

english, 1982

16

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

17

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Undecidability of Interval Temporal Logics with the Overlap Modality

Bresolin, Davide, Monica, Dario Della, Goranko, Val, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

18

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders

Conradie, Willem, Durhan, Salih, Sciavicco, Guido

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

19

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Bresolin, Davide, Monica, Dario Della, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

20

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

21

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Decidable Spatial Generalization of Metric Interval Temporal Logic

Bresolin, Davide, Sala, Pietro, Della Monica, Dario, Montanari, Angelo, Sciavicco, Guido

Year:

2010

Language:

english

File:

PDF, 343 KB

english, 2010

22

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

23

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

24

ON BEGINS, MEETS AND BEFORE

BRESOLIN, DAVIDE, SALA, PIETRO, SCIAVICCO, GUIDO

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 373 KB

english, 2012

25

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Aceto, Luca, Della Monica, Dario, Goranko, Valentin, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

26

[ACM Press the twelfth workshop - Adelaide, Australia (2013.01.16-2013.01.20)] Proceedings of the twelfth workshop on Foundations of genetic algorithms XII - FOGA XII '13 - Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Bresolin, Davide, Jiménez, Fernando, Sánchez, Gracia, Sciavicco, Guido

Year:

2013

Language:

english

File:

PDF, 554 KB

english, 2013

27

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Generalizing Allen's Theory of Time to Tree-Like Structures

Durhan, Salih, Sciavicco, Guido

Year:

2015

Language:

english

File:

PDF, 234 KB

english, 2015

28

[IEEE 2015 IEEE Symposium Series on Computational Intelligence (SSCI) - Cape Town, South Africa (2015.12.7-2015.12.10)] 2015 IEEE Symposium Series on Computational Intelligence - Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification

Jimenez, Fernando, Marzano, Enrico, Sanchez, Gracia, Sciavicco, Guido, Vitacolonna, Nicola

Year:

2015

Language:

english

File:

PDF, 277 KB

english, 2015

29

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Undecidability of Chop

Montanari, Angelo, Munoz-Velasco, Emilio, Sciavicco, Guido

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

30

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Bresolin, Davide, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 313 KB

english, 2016

31

Unsupervised feature selection for interpretable classification in behavioral assessment of children

Jiménez, Fernando, Jódar, Rosalia, Martín, Maria del Pilar, Sánchez, Gracia, Sciavicco, Guido

Journal:

Year:

2016

Language:

english

File:

PDF, 477 KB

english, 2016

32

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Bresolin, Davide, Kurucz, Agi, Muñoz-Velasco, Emilio, Ryzhikov, Vladislav, Sciavicco, Guido, Zakharyaschev, Michael

Journal:

ACM Transactions on Computational Logic

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

33

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - On the Complexity of Fragments of Horn Modal Logics

Bresolin, Davide, Munoz-Velasco, Emilio, Sciavicco, Guido

Year:

2016

Language:

english

File:

PDF, 260 KB

english, 2016

34

Towards semi-automatic human performance evaluation: The case study of a contact center

Brunello, Andrea, Jiménez, Fernando, Marzano, Enrico, Palma, José, Sánchez, Gracia, Sciavicco, Guido

Journal:

Intelligent Data Analysis

Year:

2018

Language:

english

File:

PDF, 1.23 MB

english, 2018

35

Multi-Objective Evolutionary Rule-Based Classification with Categorical Data

Jiménez, Fernando, Martínez, Carlos, Miralles-Pechuán, Luis, and Guido Sciavicco, Gracia

Journal:

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

36

Multiobjective evolutionary feature selection and fuzzy classification of contact centre data

Brunello, Andrea, Jiménez, Fernando, Marzano, Enrico, Montanari, Angelo, Sánchez, Gracia, Sciavicco, Guido

Journal:

Year:

2019

File:

PDF, 1.36 MB

2019

37

J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data

Brunello, Andrea, Marzano, Enrico, Montanari, Angelo, Sciavicco, Guido

Journal:

Year:

2019

Language:

english

File:

PDF, 493 KB

english, 2019

38

Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization

Jimenez, Fernando, Paoletti, Alessia, Sanchez, Gracia, Sciavicco, Guido

Journal:

IEEE Transactions on Learning Technologies

Year:

2019

Language:

english

File:

PDF, 48 KB

english, 2019

39

Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization

Jimenez, Fernando, Paoletti, Alessia, Sanchez, Gracia, Sciavicco, Guido

Journal:

IEEE Transactions on Learning Technologies

Year:

2019

File:

PDF, 48 KB

2019

40

[IEEE 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) - Bari, Italy (2020.5.27-2020.5.29)] 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) - Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling

Lucena-Sanchez, Estrella, Jimenez, Fernando, Sciavicco, Guido, Kaminska, Joanna

Year:

2020

File:

PDF, 243 KB

2020

41

Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors

KamiÅska, Joanna A., Sciavicco, Guido, Lucena-SÃ¡nchez, Estrella, JimÃ©nez, Fernando

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2020

File:

PDF, 222 KB

2020

42

Lag Variables in Nitrogen Oxide Concentration Modelling: A Case Study in WrocÅaw, Poland

KamiÅska, Joanna A., JimÃ©nez, Fernando, Lucena-SÃ¡nchez, Estrella, Sciavicco, Guido, Turek, Tomasz

Journal:

Year:

2020

File:

PDF, 2.87 MB

2020